Buy Used and New Bernhard Reus Books

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers: 1657 (Lecture Notes in Computer Science)

by Thorsten Altenkirch,Wolfgang Naraschewski,Bernhard Reus

ISBN 13: 9783540665373

Format: Paperback (220 pages)
Publisher: Springer
Published: 22 Sep 1999

Save for later